Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
Guarded Horn Clauses
(GHC) A parallel dialect of Prolog by K. Ueda in
which each clause has a guard. GHC is similar to
Parlog. When several clauses match a goal, their guards
are evaluated in parallel and the first clause whose guard is
found to be true is used and others are rejected. It uses
committed-choice nondeterminism.
See also FGHC, KL1.
(1995-05-09)